Aspects of the Proof-assistant Yarrow
نویسنده
چکیده
Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. It ooers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concentrate on the software architecture of Yarrow, in particular the coupling of user interface and proof engine. We also treat the presentation of proofs in the ag-style format.
منابع مشابه
The proof-assistant Yarrow
Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. Yarrow has been designed as a flexible environment for experimentation with various typed lambda calculi. It offers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concent...
متن کاملThe Proof-assistant
Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. Yarrow has been designed as a exible environment for experimentation with various typed lambda calculi. It ooers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concentrat...
متن کاملEffect of savory and yarrow on spermatogenesis in adult mice undergoing chemotherapy Cyclosporine
Spermatogenesis process during which the male germ cells are produced at each stage of the disorder, it can lead to infertility. The aim of this study was to evaluate the effect of fennel and yarrow on spermatogenesis in adult micereceiving chemotherapy is cyclosporine. For this study, 32 male Wistar rats with an average weight of 20 ± 200 g were randomly divided into four groups (control, cycl...
متن کاملAn in vitro study of the effects of Yarrow, Chamomile and Rhubarb herbal extracts on candida albicans and common oral bacteria
An in vitro study of the effects of Yarrow, Chamomile and Rhubarb herbal extracts on candida albicans and common oral bacterial Dr. Z. Atai* - Dr. H. Abdolahi** - Dr. S. Naderi Poor*** - Dr. S. Mohamadi*** *- Assistant Professor of Diagnosis & Oral Diseases Dept. Faculty of Dentistry – Kerman University of Medical Sciences. **- Assistant Professor of Microbiology Dept. Faculty of Medicine, Kerm...
متن کاملEffect of savory and yarrow on spermatogenesis in adult mice undergoing chemotherapy Cyclosporine
Spermatogenesis process during which the male germ cells are produced at each stage of the disorder, it can lead to infertility. The aim of this study was to evaluate the effect of fennel and yarrow on spermatogenesis in adult micereceiving chemotherapy is cyclosporine. For this study, 32 male Wistar rats with an average weight of 20 ± 200 g were randomly divided into four groups (control, cycl...
متن کامل